801. Trends in network and pervasive computing-ARCS 2002 : International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 2002 : proceedings
پدیدآورنده : Hartmut Schmeck, Theo Ungerer, Lars Wolf )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer architecture,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2299
802. Types for proofs and programs :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Automatic theorem proving ; Congresses ; Computer programming ; Congresses ;
803. Types for proofs and programs :
پدیدآورنده : Paul Callaghan ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2000
804. Types for proofs and programs :
پدیدآورنده : Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2004
805. Types for proofs and programs
پدیدآورنده : / Paul Callaghan ... [et al.]
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Automatic theorem proving--Congresses,Computer programming--Congresses
رده :
QA
,
76
.
9
,.
A96
,
T96
,
2000
806. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
پدیدآورنده : Paul Callaghan...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
2277
807. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
پدیدآورنده : Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1657
808. Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
پدیدآورنده : Thierry Coquand...]et al.[, )Eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1956
809. Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
پدیدآورنده : Stefano Berardi, Mario Coppo, Ferruccio Damiani )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3085
810. Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
پدیدآورنده : Herman Geuvers, Freek Wiedijk )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2646
811. Unconventional programming paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004; revised selected and invited papers
پدیدآورنده : Jean-Pierre Banatre... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، High performance computing
رده :
QA
76
.
L28
Vol
.
3566
812. Unifying Theories of Programming
پدیدآورنده : \ David Naumann (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming -- Congresses.,برنامه‌نویسی -- کنگره ها
رده :
QA
76
.
6
.
U5
2015
E-Book
,
813. Unifying theories of programmin
پدیدآورنده : / Shengchao Qin (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programming--Congresses
رده :
QA
,
76
.
6
,.
U89
,
2010
814. Unifying theories of programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming ; Congresses. ;
815. Unifying theories of programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming ; Congresses. ;
816. Unifying theories of programming
پدیدآورنده : / Steve Dunne, Bill Stoddart (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programming--Congresses
رده :
QA
,
76
.
6
,.
U89
,
2006
817. Unifying theories of programming
پدیدآورنده : Andrew Butterfield (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses.,Computer programming.,Ordinateurs-- Programmation-- Congrès.
رده :
QA76
.
6
818. Unifying theories of programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming ; Congresses. ;
819. Unifying theories of programming :
پدیدآورنده : Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
820. Vision, modeling, and visualization 2000
پدیدآورنده :
کتابخانه: المكتبة المركزية لجامعة الطب في أصفهان (أصبهان)
موضوع : Visual programming (Computer science)- Congresses,Vision- Data processing- Congresses,Visualization- Data processing- Congresses,Object-oriented programming (Computer science)- Congresses
رده :
QA76
.
65
.
I5
2000
